functor
export
   assign:Assign
   record:Record
   call1:Call1
   call2:Call2
define
   fun lazy {Call1 F V1}
      {F V1}
   end

   fun lazy {Call2 F V1 V2}
      {F V1 V2}
      
   end
   
   fun lazy {Assign X}
      X
      %{Browse X}
   end
   
   fun lazy {Record Li}
      Li
   end
   
end   